[[Lie algebras MOC]]
# Category of Lie algebras

Let $\mathbb{K}$ be a [[field]].
The **category of Lie algebras** $\cat{Lie}_{\mathbb K}$ is a [[category]] where
an object is a [[Lie algebra]] over $\mathbb K$
and a morphism is a [[Lie algebra homomorphism]]. #m/def/lie 
It is a [[Subcategory|full subcategory]] of [[Category of algebras]]

#
---
#state/develop | #lang/en | #SemBr